Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
651	A On Contract Satisfaction in a Higher-Order World CHRISTOS DIMOULAS and MATTHIAS FELLEISEN, Northeastern University, Boston, MA Behavioral software contracts have become a popular mechanism for specifying and ensuring l Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Models of computation Logic in computer science Programming language semantics Racket Denotational semantics Eiffel Matthias Felleisen Design by contract Lambda calculus Software engineering Computing Computer programming
652	HOOTS99 Preliminary Version Object Closure Conversion Neal Glew 1 Department of Computer Science Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-25 13:13:44 Computability theory Lambda calculus Computer science Logic in computer science Models of computation Theoretical computer science Applied mathematics
653	A short history of small machines Liesbeth De Mol1? and Maarten Bullynck2 1 Center for Logic and Philosophy of Science, University of Ghent, Blandijnberg 2, 9000 Gent, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-01-31 05:13:11 Turing machine Models of computation Computability theory Alan Turing Register machine Computability Computer Logic Computable number Theoretical computer science Theory of computation Computer science
654	Structural Complexity And The Acquisition Of Recursive Locative PPs Tyler Peterson (Arizona), Ana Pérez-Leroux (Toronto), Anny Castilla-Earls (SUNY/Fredonia), Susana Béjar, Diane Massam (Toronto) Phase-based models of Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:42 Programming idioms Grammar Theoretical computer science Computability theory Theory of computation Recursion Semantics Syntax Preposition and postposition Linguistics Computer programming Mathematics
655	Qubits and invariant theory Ronald C King School of Mathematics, University of Southampton Southampton, SO17 1BJ, England QTS-4 Varna, Bulgaria: August, 2005 Add to Reading List Source URL: www.personal.soton.ac.uk Language: English - Date: 2005-08-09 10:54:56 Mathematics Models of computation Qubit Quantum computer Invariant theory Invariant Theoretical computer science Quantum information science Applied mathematics
656	HC17.S2T3 High-Performance Pattern-Matching Engine for Intrusion Detection.ppt Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 23:45:52 Hash function Field-programmable gate array Computer science Electronics Applied mathematics Models of computation Automata theory Finite-state machine
657	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science
658	Intensional Polymorphism in Type-Erasure Semantics Karl Crary Stephanie Weirich Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:51 Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Mathematical logic Computer science
659	From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Models of computation Racket Formal languages Lambda calculus ALGOL 68 Lazy evaluation Fold Regular expression Software engineering Computing Computer programming
660	A Core Calculus of Dependency Mart´ın Abadi Systems Research Center Compaq [removed] Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2003-11-05 23:04:29 Models of computation Logic in computer science Deduction Symbol Entailment Denotational semantics Lambda calculus Model theory Dependence analysis Logic Theoretical computer science Metalogic

UPDATE